Pays
Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Eléments de l'association

Pays-Bas214
M. C. F. Ferreira5
Pays-Bas Sauf M. C. F. Ferreira" 210
M. C. F. Ferreira Sauf Pays-Bas" 1
Pays-Bas Et M. C. F. Ferreira 4
Pays-Bas Ou M. C. F. Ferreira 215
Corpus24195
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 4.
Ident.Authors (with country if any)Title
00C007 M. C. F. Ferreira [Pays-Bas] ; H. Zantema [Pays-Bas]Total termination of term rewriting
00C762 M. C. F. Ferreira [Pays-Bas] ; H. Zantema [Pays-Bas]Dummy elimination: Making termination easier
00CC79 M. C. F. Ferreira [Pays-Bas] ; H. Zantema [Pays-Bas]Syntactical analysis of total termination
00D163 M. C. F. Ferreira [Pays-Bas] ; H. Zantema [Pays-Bas]Total termination of term rewriting
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022